/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package ucmconfchecker.conformance;

import org.jgrapht.graph.DefaultEdge;

/**
 *
 * @author Administrador
 */
public class Edge extends DefaultEdge{

}
